Bi2O3–Nd2O3–WO3 system: Phase formation,polymorphism, and conductivity

Cubic, tetragonal, and monoclinic (Bi₂O₃)_x (Nd₂O₃)_y (WO₃)_z (x + y + z = 1) solid solutions based on the Bi₂O₃ oxygen ion conductor have been prepared by solid-state reactions in the ternary system Bi₂O₃–Nd₂O₃–WO₃. The field of monoclinic compounds with a Bi_3·24La₂W_0·76O_10.14-type structure has been shown to account for most of the ternary system. Compounds with a cubic fluorite structure exist at the boundary of the monoclinic phase field in two small regions at high (83–91 mol% Bi₂O₃, δ-phase) and low (20–55 mol% Bi₂O₃, δ′-phase) Bi concentrations. The cubic samples of the δ-phase retain their structure only during rapid heating and cooling, but annealing in the range of 300–700 °C results in structure degradation to lower symmetry phases. The monoclinic compounds and Bi-poor cubic compounds (δ′-phase) have good thermal stability. The cubic samples of the δ′-phase are hygroscopic. Their bulk conductivity noticeably increases with atmospheric humidity, suggesting that these materials are potential proton conductors.     

基于重量分析的OBDD变量排序算法

有序的二叉判决图（ＯＢＤＤ）是布尔表达式的一种有效表示方法，但它的体积对变量排序具有较强的依赖性。本文提出一种电路结构图，并在此基础上定义了原始输入重量和节点重量等参数，并建立了用重量分析来指导的ＯＢＤＤ变量排序算法。由于从考虑变量对输出函数的影响出发与从考虑ＯＢＤＤ节点共享性出发对变量排序的要求不同，本文分别设计了两类算法。实验结果表明，本文对大多数标准电路变量排序的效果都优于国际上的同类算法，     

Quantitative analysis of Ni effect on CCT diagrams of novel air-cooled bainite steels using artificial neural network models

The quantitative effect of Ni content on continuous cooling transformation （CCT） diagrams of novel air-cooled bainite steels was analyzed using artificial neural network models. The results showed that Ni may retard the high- and medium-temperature transformation and martensite transformation. The results conform to the materials science theories.     

Specification methods for material-handling control algorithms in flexible manufacturing systems

Good methods are needed to specify, test, and debug material-handling control logic. This article surveys a number of representative methods for defining and describing control algorithms for programmable material-handling equipment used in flexible manufacturing systems. The methods are evaluated with regard to their suitability for communication between people and as bases for interfaces to automatic program generators. It is concluded that no single method is entirely satisfactory. Three methods (position diagrams, function block diagrams, and operation networks) have potential to be combined into an effective hybrid approach that minimizes the need for the user to switch between various conceptual models.     

Phase equilibria in InAsSbP quaternary alloys grown by liquid phase epitaxy

The quaternary alloy InAs_1−x−ySb_xP_y, lattice-matched to InAs, is a promising material for the production of infrared light sources for the detection of gases in the 2–4 μm region of the spectrum. In this work, thermodynamic phase equilibrium calculations have been carried out to determine the compositions required for liquid phase epitaxial growth and the extent of the miscibility gap in the solid material. For high band gap materials, the desired growth temperature is found to be intermediate between a low temperature required to grow P-rich solids and higher temperatures required to avoidspinodal decomposition. Conventional LPE growth at an intermediate temperature of 583°C is found to produce good material with high luminescence efficiency and excellent optical characteristics. Problems with phosphorus loss from the melt are also discussed and lower growth temperatures are found to considerably reduce this problem. Growth in the metastable region between the binodal and spinodal lines has been achieved with the production of phosphorus-rich solids with concentrations up to y = 0.445.     

Determination of the liquidus lines and isotherms of the Hg-Zn-Te system by a modified direct observation method

The modified direct observation method is employed for the determination of the liquidus lines in the (Hg_{1_x}Zn_x)_{1_y}Te_y, ternary system. The liquidus temperatures of the ternary samples of various compositions withx from 0.05 to 0.30 andy from 0.5 to 0.9 are measured. The temperature-composition phase diagrams and some liquidus isotherms are established for this system.     

Binodal and spinodal curves: a simulation for various high polymer mixtures

Flory's equation-of-state theory has been used to predict the lower critical solution temperature behaviour of polymer—polymer mixtures. The spinodal phase boundary of numbers of high molecular weight polymer mixtures have been previously simulated using this theory. In this paper a procedure for simultaneous predictions of the binodal and the spinodal curves by equating the chemical potential of each component in the mixture is presented. The method is tested for five different mixtures. The effects of the binary and pure component state parameters on the simulated curves are discussed and the simulated phase diagrams are compared with the experimental cloud point curves. It is found that in most cases the results are more consistent with the cloud point curve being closer to the spinodal curve than the binodal.     

Thermodynamic and kinetic consideration on the corrosion of Fe, Ni and Cr beneath a molten KCl-ZnCl2 mixture

Thermogravimetric (TG) experiments have been carried out to study the kinetics of hot corrosion of Fe, Cr and Ni, covered by a molten KCl-ZnCl₂ mixture of a composition close to the eutectic (50 mol% KCl-50 mol% ZnCl₂). Furthermore binary and ternary phase diagrams were calculated in order to describe the corrosion process. The tests were conducted at a temperature of 320 °C in an atmosphere consisting of argon and oxygen. For iron different stages are observed in a TG curve. They can be attributed to the different reaction steps of iron chloride formation (incubation phase), oxide precipitation (linear stage) and scale formation (parabolic or logarithmic stage). Based on these observations a model, described by Spiegel [A. Spiegel, Molten Salt Forum 7 (2003) 253], is confirmed. For Cr and Ni these stages are not observed. At 8 vol% O₂ only slight oxidation of Cr and Ni was observed accompanied by evaporation of the salt deposit. At 16 vol% O₂ the rate of oxidation increases and the experiments yield a curve that is either parabolic or logarithmic for both Ni and Cr. As a result it is shown that the solubility of iron chloride in the KCl-ZnCl₂ melt is higher than the solubility of nickel chloride and chromium (III) chloride in the KCl-ZnCl₂ melt. This enables a higher diffusibility of iron chloride to the upper region of the melt where a higher oxygen partial pressure (p(O₂)) is present leading to a higher oxidation rate of iron.     

How to find Steiner minimal trees in euclideand-space

This paper has two purposes. The first is to present a new way to find a Steiner minimum tree (SMT) connectingN sites ind-space,d >- 2. We present (in Appendix 1) a computer code for this purpose. This is the only procedure known to the author for finding Steiner minimal trees ind-space ford > 2, and also the first one which fits naturally into the framework of backtracking and branch-and-bound. Finding SMTs of up toN = 12 general sites ind-space (for anyd) now appears feasible.We tabulate Steiner minimal trees for many point sets, including the vertices of most of the regular and Archimedeand-polytopes with <- 16 vertices. As a consequence of these tables, the Gilbert-Pollak conjecture is shown to be false in dimensions 3–9. (The conjecture remains open in other dimensions; it is probably false in all dimensionsd withd 3, but it is probably true whend = 2.)The second purpose is to present some new theoretical results regarding the asymptotic computational complexity of finding SMTs to precision .We show that in two-dimensions, Steiner minimum trees may be found exactly in exponential time O(C ^N ) on a real RAM. (All previous provable time bounds were superexponential.) If the tree is only wanted to precision , then there is an (N/)^O(N)-time algorithm, which is subexponential if 1/ grows only polynomially withN. Also, therectilinear Steiner minimal tree ofN points in the plane may be found inN ^O(N) time.J. S. Provan devised an O(N ⁶/⁴)-time algorithm for finding the SMT of a convexN-point set in the plane. (Also the rectilinear SMT of such a set may be found in O(N ⁶) time.) One therefore suspects that this problem may be solved exactly in polynomial time. We show that this suspicion is in fact true—if a certain conjecture about the size of Steiner sensitivity diagrams is correct.All of these algorithms are for a real RAM model of computation allowing infinite precision arithmetic. They make no probabilistic or other assumptions about the input; the time bounds are valid in the worst case; and all our algorithms may be implemented with a polynomial amount of space. Only algorithms yielding theexact optimum SMT, or trees with lengths (1 + ) × optimum, where is arbitrarily small, are considered here.